elimination of unknown

消元法